Nuprl Lemma : bor_tt_simp
9,38
postcript
pdf
u
:
. (
u
tt) = tt
latex
ProofTree
Definitions
t
T
Lemmas
bool
wf
,
btrue
wf
origin